Program equilibrium—a program reasoning approach
نویسندگان
چکیده
منابع مشابه
Program equilibrium - a program reasoning approach
The concept of program equilibrium, introduced by Howard (Theory and Decision 24(3):203–213, 1988) and further formalised by Tennenholtz (Game Econ Behav 49:363–373, 2004), represents one of the most ingenious and potentially farreaching applications of ideas from computer science in game theory to date. The basic idea is that a player in a game selects a strategy by entering a program, whose b...
متن کاملSatisfiability-based Program Reasoning and Program Synthesis
Title of dissertation: SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS Saurabh Srivastava, Doctor of Philosophy, 2010 Dissertation directed by: Professor Jeffrey S. Foster Department of Computer Science Program reasoning consists of the tasks of automatically and statically verifying correctness and inferring properties of programs. Program synthesis is the task of automatically ge...
متن کاملPropagation for Program Reasoning
We present an abstract algorithm for propagating assertions through a program. Its key feature is an integration of key concepts of program reasoning such as weakest preconditions, strongest postconditions, liveness, termination, error detection and program analysis. In our setting, assertions are freely usable in the sense that any program point may be annotated with an assertion, or not at al...
متن کاملInvariant Patterns for Program Reasoning
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns which enable us to associate common patterns of program code and specifications with invariant schemas. This allows crucial decisions relating to the development of invariants to be delayed until a proof is attempted. More...
متن کاملLightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In this paper we propose a framework for step-wise automatic verification and describe a lightweight scalable program analysis tool that combines abstraction and model checking. The tool guarantees that its True and False...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Game Theory
سال: 2011
ISSN: 0020-7276,1432-1270
DOI: 10.1007/s00182-011-0314-6